#ifndef IPTENTRY_H
#define IPTENTRY_H

#include "addrspace.h"
class IPTEntry {
  public:
    int virtualPage;  	// The page number in virtual memory.
    int physicalPage;  	// The page number in real memory (relative to the
			//  start of "mainMemory"
	int processId;		//	The spaceId of process which occupy this physcial page
    bool valid;         // If this bit is set, the translation is ignored.
			// (In other words, the entry hasn't been initialized.)
    bool readOnly;	// If this bit is set, the user program is not allowed
			// to modify the contents of the page.

    bool dirty;         // This bit is set by the hardware every time the
			// page is modified.
	bool use;
	AddrSpace *space;
};
#endif
